NORMANN, DAG: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Embeddability of ptykes

Girard, Jean-Yves, Normann, Dag

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 1.11 MB

english, 1992

2

Logic Colloquium 2005 || Paul Bernays' later philosophy of mathematics

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 382 KB

2007

3

On the mathematical and foundational significance of the uncountable

Normann, Dag, Sanders, Sam

Journal:

Journal of Mathematical Logic

Year:

2018

File:

PDF, 563 KB

2018

4

Equilibrium measurements of the NH3–CO2–H2O system – measurement and evaluation of vapor–liquid equilibrium data at low temperatures

Jilvero, Henrik, Jens, Klaus-Joachim, Normann, Fredrik, Andersson, Klas, Halstensen, Maths, Eimer, Dag, Johnsson, Filip

Journal:

Fluid Phase Equilibria

Year:

2015

Language:

english

File:

PDF, 1.34 MB

english, 2015

5

Countable functionals and the projective hierarchy

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 470 KB

english, 1981

6

Logic Colloquium 2005 || Isomorphisms and definable relations on computable models

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 423 KB

2007

7

On the CantorâBendixson rank of a set that is searchable in GÃ¶delâs T

Journal:

Year:

2016

File:

PDF, 152 KB

2016

8

Algebraic Recursion Theoryby L. L. Ivanov; J. L. Bell

Review by: Dag Normann

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 109 KB

english, 1988

9

Logic Colloquium 2005 || Proofnets for S5: Sequents and circuits for modal logic

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 405 KB

2007

10

Logic Colloquium 2005 || Independence for types in algebraically closed valued fields

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 343 KB

2007

11

Mathematics of computing at CiE 2005

COOPER, S. BARRY, LÖWE, BENEDIKT, NORMANN, DAG

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 206 KB

english, 2006

12

[Lecture Notes in Mathematics] Recursion on the Countable Functionals Volume 811 || The maximal type structure

Year:

1980

Language:

english

File:

PDF, 3.13 MB

english, 1980

13

Logic Colloquium 2005 || Simple groups of finite Morley rank

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 338 KB

2007

14

The Cook-Berger problem -A guide to the solution

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

irish

File:

PDF, 495 KB

irish, 2000

15

Characterizing the continuous functionals

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 208 KB

english, 1983

16

Logic Colloquium 2005 || Structural analysis of Aronszajn trees

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 423 KB

2007

17

The Continuous Functionals of Finite Types Over the Reals

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

yoruba

File:

PDF, 655 KB

yoruba, 2000

18

[Studies in Logic and the Foundations of Mathematics] Handbook of Computability Theory Volume 140 || Chapter 8 The continuous functionals

Year:

1999

Language:

english

File:

PDF, 1.07 MB

english, 1999

19

[Lecture Notes in Mathematics] Recursion on the Countable Functionals Volume 811 || Sections

Year:

1980

Language:

english

File:

PDF, 1.23 MB

english, 1980

20

Logic Colloquium 2005 || Proof analysis in non-classical logics

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 396 KB

2007

21

Logic Colloquium 2005 || Recursion on the partial continuous functionals

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 471 KB

2007

22

Computability in Europe 2011

Buss, Sam, Löwe, Benedikt, Normann, Dag, Soskov, Ivan

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 104 KB

english, 2013

23

A Continuous Functional with Noncollapsing Hierarchy

Journal:

Journal of Symbolic Logic

Year:

1978

Language:

english

File:

PDF, 146 KB

english, 1978

24

Logic Colloquium 2005 || A transactional approach to the logic of truth

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 383 KB

2007

25

GENERAL TYPE-STRUCTURES OF CONTINUOUS AND COUNTABLE FUNCTIONALS

Journal:

Mathematical Logic Quarterly

Year:

1983

Language:

english

File:

PDF, 910 KB

english, 1983

26

[Lecture Notes in Mathematics] Recursion on the Countable Functionals Volume 811 || Ct(n) as a topological space

Year:

1980

Language:

english

File:

PDF, 1.43 MB

english, 1980

27

Logic Colloquium 2005 || On some problems in computable topology

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 507 KB

2007

28

Measure-theoretic uniformity and the Suslin functional

Journal:

Year:

2020

File:

PDF, 243 KB

2020

29

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '88, Proceedings of the Colloquium held in Padova Volume 127 || Kleene-spaces

Year:

1989

Language:

english

File:

PDF, 802 KB

english, 1989

30

[Lecture Notes in Mathematics] Recursion on the Countable Functionals Volume 811 || The computable structure on Ct(k)

Year:

1980

Language:

english

File:

PDF, 1.20 MB

english, 1980

31

Logic Colloquium 2005 || Monotone inductive definitions and consistency of New Foundations

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 399 KB

2007

32

Representation theorems for transfinite computability and definability

Journal:

Archive for Mathematical Logic

Year:

2002

Language:

english

File:

PDF, 152 KB

english, 2002

33

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science Volume 104 || Non-Obtainable Continuous Functionals

Year:

1982

Language:

english

File:

PDF, 458 KB

english, 1982

34

Logic Colloquium 2005 || Towards a logic of type-free modality and truth

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

Language:

english

File:

PDF, 369 KB

english, 2007

35

Logic Colloquium 2005 || LECTURE NOTES IN LOGIC

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

File:

PDF, 256 KB

2007

36

A Jump Operator in Set Recursion

Journal:

Mathematical Logic Quarterly

Year:

1979

Language:

english

File:

PDF, 810 KB

english, 1979

37

The continuous functionals; computations, recursions and degrees

Journal:

Annals of Mathematical Logic

Year:

1981

Language:

english

File:

PDF, 1.45 MB

english, 1981

38

Hereditarily effective typestreams

Journal:

Archive for Mathematical Logic

Year:

1997

Language:

english

File:

PDF, 70 KB

english, 1997

39

Continuity, proof systems and the theory of transfinite computations

Journal:

Archive for Mathematical Logic

Year:

2002

Language:

english

File:

PDF, 155 KB

english, 2002

40

Models for Recursion Theory

Johan Moldestad and Dag Normann

Journal:

Journal of Symbolic Logic

Year:

1976

Language:

english

File:

PDF, 249 KB

english, 1976

41

Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theoryby Arnold Beckmann; Wolfram Pohlers

Review by: Dag Normann

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 154 KB

english, 2000

42

[Studies in Logic and the Foundations of Mathematics] Generalized Recursion Theory II - Proceedings of the 1977 Oslo Symposium Volume 94 || Set Recursion

Year:

1978

Language:

english

File:

PDF, 649 KB

english, 1978

43

Open sets in computability theory and reverse mathematics

Normann, Dag, Sanders, Sam

Journal:

Journal of Logic and Computation

Year:

2020

File:

PDF, 526 KB

2020

44

[Studies in Logic and the Foundations of Mathematics] Generalized Recursion Theory II - Proceedings of the 1977 Oslo Symposium Volume 94 || A Non-Adequate Admissible Set with a Good Degree-Structure

Year:

1978

Language:

english

File:

PDF, 425 KB

english, 1978

45

On sequential functionals of type 3

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 266 KB

english, 2006

46

[Studies in Logic and the Foundations of Mathematics] PATRAS LOGIC SYMPOSION Volume 109 || External and Internal Algorithms on the Continuous Functionals

Year:

1982

Language:

english

File:

PDF, 389 KB

english, 1982

47

Logic Colloquium 2005 || Thread algebra and risk assessment services

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.

Year:

2007

Language:

english

File:

PDF, 390 KB

english, 2007

48

R.E. degrees of continuous functionals

Journal:

Archive for Mathematical Logic

Year:

1983

Language:

english

File:

PDF, 974 KB

english, 1983

49

The Hauser operation for patellar dislocation: 3–32-year results in 63 knees

Barbari, Stephan, Raugstad, Tor Steiner, Lichtenberg, Normann, Refvem, Dag

Journal:

Acta Orthopaedica

Year:

1990

Language:

english

File:

PDF, 288 KB

english, 1990

50

Hyperfinite type structures

Normann, Dag, Palmgren, Erik, Stoltenberg-Hansen, Viggo

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 549 KB

english, 1999

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски